This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Lee masThis book constitutes the refereed proceedings of the 18th International Conference on Inductive Logic Programming, ILP 2008, ...
Lee masThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lee masThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lee mas